21. Foundations of algorithms using C++ pseudocode
پدیدآورنده : / Richard E. Neapolitan, Kumarss Naimipour
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Algorithms,Constructive mathematics,Computational complexity
رده :
QA9
.
58
.
N4F6
2004
22. Foundations of algorithms: using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algorithms,، Constructive mathematics,، Computational complexity
رده :
QA
9
.
58
.
N43
1998
23. Foundations of algorithms :Using C]] Pseudocode
پدیدآورنده : Richard E. Neapolitan, Kumarss Naimipour
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Algorithms,Constructive mathematics,Computational complexity
رده :
QA
،
9
.
58
،.
N43
،
1998
24. Foundations of algorithms: using C++ pseudocode
پدیدآورنده : Neapolitan, Richard E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Algorithms , Constructive mathematics , Computational complexity
رده :
QA
9
.
58
.
N43
1998
25. Foundations of constructive mathematics : metamathematical studies
پدیدآورنده : Beeson, Michael J
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
B44
1985
26. From peturbative to constructive renormalization
پدیدآورنده : / Vincent Rivasseau
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Renormalization (Physics),Quantum field theory,Perturbation (Mathematics),Constructive mathematics
رده :
QC174
.
17
.
R46
,
R58
1991
27. From peturbative to constructive renormalization
پدیدآورنده : Rivasseau, Vincent
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Renormalization )Physics(,، Quantum field theory,، Perturbation )Mathematics(,، Constructive mathematics
رده :
QC
174
.
17
.
R46
R58
1991
28. From peturbative to constructive renormalization
پدیدآورنده : / Vincent Rivasseau
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Renormalization (Physics),Quantum field theory,Perturbation (Mathematics),Constructive mathematics
رده :
QC174
.
17
.
R46
,
R58
1991
29. From sets and types to topology and analysis
پدیدآورنده : edited by Laura Crossila and Peter Schuster
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Constructive mathematics- Congresses,Constructieve wiskunde.- gtt,Analyse )wiskunde(- gtt,Topologie.- gtt
رده :
QA
9
.
56
.
F76
2005
30. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
31. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
32. Lectures on constructive mathematical analysis
پدیدآورنده : Kushner, B. A.)Boris Abramovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematical analysis,، Constructive mathematics
رده :
QA
300
.
K8713
1985
33. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
34. Predicative arithmetic
پدیدآورنده : Nelson, Edward
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constructive mathematics,، Arithmetic--1691-
رده :
QA
9
.
56
.
N45
1986
35. Problems in the constructive trend in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constructive mathematics-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
93
etc
.
36. Radical constructivism in mathematics education
پدیدآورنده : edited by Ernst von Glasersfeld
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Study and teaching ، Mathematics,، Constructive mathematics
رده :
QA
12
.
R33
1991
37. #Radical constructivism in mathematics education
پدیدآورنده : #edited by Ernst von Glasersfeld
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Mathematics -- Study and teaching ،Constructive mathematics
رده :
#
QA
،#.
R33
38. Some questions in constructive functional analysis
پدیدآورنده : Phan Dinh Dieu
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Locally convex spaces,، Theory of distributions )Functional analysis(,، Constructive mathematics
رده :
QA
1
.
A413
no
.
114
39. Stochastic automata; constructive theory
پدیدآورنده : Lorents, Aivar Arvidovich.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Probabilistic automata,، Constructive mathematics
رده :
QA
267
.
5
.
S4
.
L6513
40. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده : Kleene, Stephen Cole, 9091-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648